مشخصات کتاب

Practical foundations of programming languages [draft 2nd ed.]

ویرایش:  
نویسندگان: Robert Harper  
سری:  
 
ناشر:  
سال نشر: 2014 
تعداد صفحات: 604 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

در صورت تبدیل فایل کتاب Practical foundations of programming languages [draft 2nd ed.] به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مبانی عملی زبانهای برنامه نویسی [پیش نویس دوم ویرایش] نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب مبانی عملی زبانهای برنامه نویسی [پیش نویس دوم ویرایش]

انواع، اصل سازماندهی اصلی تئوری زبان های برنامه نویسی هستند. فن زبان - tureها مظاهر ساختار نوع هستند. نحو یک زبان توسط ساختارها اداره می شود که انواع آن را تعریف می کند و معناشناسی آن توسط تعاملات بین آن سازه ها تعیین می شود. استحکام یک طراحی زبان - عدم وجود برنامه های نامشخص - به طور طبیعی به دنبال دارد. هدف این کتاب توضیح این نکته است. انواع ویژگی های زبان برنامه نویسی در چارچوب یکپارچه تئوری نوع تحلیل می شوند. یک ویژگی زبان با استاتیک آن تعریف می شود، قوانین حاکم بر استفاده از ویژگی در یک برنامه، و پویایی آن، قوانین تعیین کننده چگونگی برنامه هایی که از این ویژگی استفاده می کنند باید اجرا شوند. مفهوم ایمنی به عنوان انسجام ظاهر می شود استاتیک و پویایی یک زبان به این ترتیب ما پایه ای برای مطالعه زبان های برنامه نویسی ایجاد می کنیم. اما چرا اینها روش های خاص؟ توجیه اصلی توسط خود کتاب ارائه شده است. روش هایی که ما استفاده می کنیم هستند هم دقیق و هم شهودی، یک چارچوب یکنواخت برای توضیح زبان برنامه نویسی فراهم می کند مفاهیم. مهمتر از همه، این روش ها به طیف وسیعی از مفاهیم زبان برنامه نویسی مقیاس می شوند. پشتیبانی از تجزیه و تحلیل دقیق خواص آنها. هر چند به خودی خود به کتاب دیگری نیاز دارد برای توجیه این ادعا، این روش‌ها نیز از این جهت عملی هستند که مستقیماً برای اجرای ذهنی و منحصر به فرد به عنوان مبنایی برای استدلال مکانیزه موثر است. هیچ چارچوب دیگری ارائه نمی دهد به همان اندازه این کتاب به دلیل تلفیق و تقطیر دهه‌ها تحقیق، ارائه نمی‌کند شرحی جامع از تاریخچه ایده هایی که به آن اطلاع می دهند. کافی است بگوییم که بسیاری از د- توسعه اصیل نیست، بلکه تا حد زیادی شکل‌بندی مجدد آنچه پیش‌تر بوده است است. یادداشتها در پایان هر فصل، پیشرفت های عمده را نشان می دهد، اما به عنوان کامل در نظر گرفته نمی شود راهنمای ادبیات برای کسب اطلاعات بیشتر و دیدگاه های جایگزین، به خواننده ارجاع داده می شود به منابع عالی مانند Constable (1986)، Constable (1998)، Girard (1989)، Martin-Lof ¨ (1984)، میچل (1996)، پیرس (2002، 2004)، و رینولدز (1998).

توضیحاتی درمورد کتاب به خارجی

Types are the central organizing principle of the theory of programming languages. Language fea- tures are manifestations of type structure. The syntax of a language is governed by the constructs that define its types, and its semantics is determined by the interactions among those constructs. The soundness of a language design—the absence of ill-defined programs—follows naturally. The purpose of this book is to explain this remark. A variety of programming language features are analyzed in the unifying framework of type theory. A language feature is defined by its statics, the rules governing the use of the feature in a program, and its dynamics, the rules defining how programs using this feature are to be executed. The concept of safety emerges as the coherence of the statics and the dynamics of a language. In this way we establish a foundation for the study of programming languages. But why these particular methods? The main justification is provided by the book itself. The methods we use are both precise and intuitive, providing a uniform framework for explaining programming language concepts. Importantly, these methods scale to a wide range of programming language concepts, supporting rigorous analysis of their properties. Although it would require another book in itself to justify this assertion, these methods are also practical in that they are directly applicable to imple- mentation and uniquely effective as a basis for mechanized reasoning. No other framework offers as much. Being a consolidation and distillation of decades of research, this book does not provide an exhaustive account of the history of the ideas that inform it. Suffice it to say that much of the de- velopment is not original, but rather is largely a reformulation of what has gone before. The notes at the end of each chapter signpost the major developments, but are not intended as a complete guide to the literature. For further information and alternative perspectives, the reader is referred to such excellent sources as Constable (1986), Constable (1998), Girard (1989), Martin-Lof ¨ (1984), Mitchell (1996), Pierce (2002, 2004), and Reynolds (1998).

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Technik und Interaktion: Zur Theorie und Empirie der Technikforschung

دانلود کتاب A Philosophers Apprentice: In Karl Poppers Workshop (Series in the Philosophy of Karl R. Popper and Critical Rationalism, 5)

دانلود کتاب Science and Technology for Disposal of Radioactive Tank Wastes

دانلود کتاب Social and Economic Networks

دانلود کتاب İnsan Olmanın Psikolojisi